×

quantifier elimination中文什么意思

发音:   用"quantifier elimination"造句
  • 量词消去
  • 量消去
  • quantifier:    n. 【逻辑学】限量词〔用 all, some 等语词以 ...
  • elimination:    n. 除去,消除,淘汰,排除(作用);【化学】弃置;【数 ...
  • elimination of quantifier:    量词的消去
  • quantifier:    n. 【逻辑学】限量词〔用 all, some 等语词以及前缀[词首]、符号等表示〕。
  • elimination:    n. 除去,消除,淘汰,排除(作用);【化学】弃置;【数学】消去,消元法 (eliminate matches 【体育】预赛,淘汰赛。 waste eliminate 消灭浪费)。
下载手机词典可随时随地查词查翻译

百科释义

    Quantifier elimination is a concept of simplification used in mathematical logic, model theory, and theoretical computer science. One way of classifying formulas is by the amount of quantification.
    详细百科解释

相关词汇

其他语言

相邻词汇

  1. quantified conditional prediction 什么意思
  2. quantified display 什么意思
  3. quantified economic data 什么意思
  4. quantified system analysis 什么意思
  5. quantifier 什么意思
  6. quantifier postposing transformation 什么意思
  7. quantifier scoping 什么意思
  8. quantifier-free 什么意思
  9. quantifier-free conjunctive-normal form 什么意思
  10. quantifiter 什么意思
桌面版繁體版English

相关阅读

Copyright © 2025 WordTech Co.

Last modified time:Tue, 19 Aug 2025 00:29:56 GMT